منابع مشابه
Girard Couples of Quantales
We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice S, a Girard quantale whose right-sided part is isomorphic to S.
متن کاملThe Girard-Reynolds Isomorphism
ion Theorem x1 : A1, . . . , xn : An ` t : B in F2 ⇒ (x1, x1) ∈ A ∗‡ 1 , . . . , (xn, x ′ n) ∈ A∗‡ n ` (|t|, |t|′) ∈ B∗‡ in P2
متن کاملERCIM “ Alain Bensoussan ” Fellowship
During my fellowship, I was incorporated into the image group on the “Human Motion Imitation” (HUMIM) project. This project consists in proposing a human motion model implying different mathematical techniques. Consequently, this project implies different skills in computer science, human physiology, mechanics and physics, optimisation’s problems, differential geometry and statistics, and requi...
متن کاملPicorel , Alain L ’ Ecuyer ,
Chromatop~ores from photoreaction centerless strain F24 of R h o d o ~ ~ i r i ~ u m rubru~ were subjected to different doses of y radiation. Target theory was applied to the induced decay of the B880 holochrome pigments as analyzed by absorption spectroscopy of the membranes and of organic solvent extracts. Destruction of bacteriochlorophyll is associated with a target size of 7 kDa. This indi...
متن کاملA Tribute to Alain Colmerauer
As an invited contributor to this Festschrift honoring Alain Colmerauer, I feel compelled to give not only an account of his main research contributions, but also of my perspective on the motivations behind them. I hope that this will provide the reader with a glimpse of how a focused, tenacious, rigorous, and inventive mind like Alain’s picks research problems and proceeds to solve them. The h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hermès
سال: 1996
ISSN: 0767-9513,1963-1006
DOI: 10.4267/2042/14891